/* Benchmarks for the PionterC verifier. */

// list visit


/*@
  @*/
int creatList()
{ 
  return 0;
}
/*@
  @*/

/*@
  @*/
int main ()
{
  creatList ();
  return 0;
}
/*@ 
  @*/
  
